|
In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position. To be more precise, it is necessary to specify what kind of objects may appear in the entries of the matrix. For example, the general linear group over R (the set of real numbers) is the group of invertible matrices of real numbers, and is denoted by GL''n''(R) or . More generally, the general linear group of degree ''n'' over any field ''F'' (such as the complex numbers), or a ring ''R'' (such as the ring of integers), is the set of invertible matrices with entries from ''F'' (or ''R''), again with matrix multiplication as the group operation.〔Here rings are assumed to be associative and unital.〕 Typical notation is GL''n''(''F'') or , or simply GL(''n'') if the field is understood. More generally still, the general linear group of a vector space GL(''V'') is the abstract automorphism group, not necessarily written as matrices. The special linear group, written or SL''n''(''F''), is the subgroup of consisting of matrices with a determinant of 1. The group and its subgroups are often called linear groups or matrix groups (the abstract group GL(''V'') is a linear group but not a matrix group). These groups are important in the theory of group representations, and also arise in the study of spatial symmetries and symmetries of vector spaces in general, as well as the study of polynomials. The modular group may be realised as a quotient of the special linear group . If , then the group is not abelian. == General linear group of a vector space == If ''V'' is a vector space over the field ''F'', the general linear group of ''V'', written GL(''V'') or Aut(''V''), is the group of all automorphisms of ''V'', i.e. the set of all bijective linear transformations , together with functional composition as group operation. If ''V'' has finite dimension ''n'', then GL(''V'') and are isomorphic. The isomorphism is not canonical; it depends on a choice of basis in ''V''. Given a basis of ''V'' and an automorphism ''T'' in GL(''V''), we have : for some constants ''a''''jk'' in ''F''; the matrix corresponding to ''T'' is then just the matrix with entries given by the ''a''''jk''. In a similar way, for a commutative ring ''R'' the group may be interpreted as the group of automorphisms of a ''free'' ''R''-module ''M'' of rank ''n''. One can also define GL(''M'') for any ''R''-module, but in general this is not isomorphic to (for any ''n''). 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「General linear group」の詳細全文を読む スポンサード リンク
|